Extracting and implementing list homomorphisms in parallel program developmentGORLATCH, S.Science of computer programming. 1999, Vol 33, Num 1, pp 1-27, issn 0167-6423Article

Specifications, programs, and total correctnessHEHNER, E. C. R.Science of computer programming. 1999, Vol 34, Num 3, pp 191-205, issn 0167-6423Article

Theory of partial-order programmingOSORIO, M; JAYARAMAN, B; PLAISTED, D. A et al.Science of computer programming. 1999, Vol 34, Num 3, pp 207-238, issn 0167-6423Article

Undulant-block elimination and integer-preserving matrix inversionWISE, D. S.Science of computer programming. 1999, Vol 33, Num 1, pp 29-85, issn 0167-6423Article

Approximating the domains of functional and imperative programsBRAUBURGER, J; GIESL, J.Science of computer programming. 1999, Vol 35, Num 2-3, pp 113-136, issn 0167-6423Article

Fast, long-lived renaming improved and simplifiedMOIR, M.Science of computer programming. 1998, Vol 30, Num 3, pp 287-308, issn 0167-6423Article

Optimal domains for disjunctive abstract interpretationGIACOBAZZI, R; RANZATO, F.Science of computer programming. 1998, Vol 32, Num 1-3, pp 177-210, issn 0167-6423Article

SAS'94 International Static Analysis SymposiumCOUSOT, Patrick; LE CHARLIER, Baudouin.Science of computer programming. 1998, Vol 31, Num 1, issn 0167-6423, 175 p.Conference Proceedings

6th European Symposium on ProgrammingNIELSON, Hanne Riis.Science of computer programming. 1998, Vol 32, Num 1-3, issn 0167-6423, 222 p.Serial Issue

About synchronous programming and abstract interpretationHALBWACHS, N.Science of computer programming. 1998, Vol 31, Num 1, pp 75-89, issn 0167-6423Conference Paper

Stackability in the simply-typed call-by-value lambda calculusBANERJEE, A; SCHMIDT, D. A.Science of computer programming. 1998, Vol 31, Num 1, pp 47-73, issn 0167-6423Conference Paper

Stepwise refinement of communicating systemsBUTLER, M. J.Science of computer programming. 1996, Vol 27, Num 2, pp 139-173, issn 0167-6423Article

An operational semantics of sharing in lazy evaluationSEAMAN, J; PURUSHOTHAMAN IYER, S.Science of computer programming. 1996, Vol 27, Num 3, pp 289-322, issn 0167-6423Article

A relational calculus for program construction by partsFRAPPIER, M; MILI, A; DESHARNAIS, J et al.Science of computer programming. 1996, Vol 26, Num 1-3, pp 237-254, issn 0167-6423Conference Paper

Arrays, bounded quantification and iteration in logic and constraint logic programmingAPT, K. R.Science of computer programming. 1996, Vol 26, Num 1-3, pp 133-148, issn 0167-6423Conference Paper

Deriving a class of layer-oriented graph algorithmsRUSSLING, M.Science of computer programming. 1996, Vol 26, Num 1-3, pp 117-132, issn 0167-6423Conference Paper

A formal description of evolving software systems architecturesLUCENA, C. J. P; ALENCAR, P. S. C.Science of computer programming. 1995, Vol 24, Num 1, pp 41-61, issn 0167-6423Article

On regularity in software designBANACH, R.Science of computer programming. 1995, Vol 24, Num 3, pp 221-248, issn 0167-6423Article

Transformation of polynomial evaluation to a pipeline via Horner's ruleHARRISON, P. G; WHILE, R. L.Science of computer programming. 1995, Vol 24, Num 1, pp 83-95, issn 0167-6423Article

Verifying programs that use causally-ordered message-passingSTOLLER, S. D; SCHNEIDER, F. B.Science of computer programming. 1995, Vol 24, Num 2, pp 105-128, issn 0167-6423Article

ESOP'94 : European symposium on programmingSANNELLA, Donald.Science of computer programming. 1995, Vol 25, Num 2-3, issn 0167-6423, 253 p.Conference Proceedings

Efficient parallel algorithms for tree accumulationsGIBBONS, J; WENTONG CAI; SKILLICORN, D. B et al.Science of computer programming. 1994, Vol 23, Num 1, pp 1-18, issn 0167-6423Article

An algebraic construction of predicate transformersGARDINER, P. H. B; MARTIN, C. E; DE MOOR, O et al.Science of computer programming. 1994, Vol 22, Num 1-2, pp 21-44, issn 0167-6423Article

Back to direct styleDANCY, O.Science of computer programming. 1994, Vol 22, Num 3, pp 183-195, issn 0167-6423Conference Paper

The tensor product in Wadler's analysis of listsNIELSON, F; NIELSON, H. R.Science of computer programming. 1994, Vol 22, Num 3, pp 327-354, issn 0167-6423Conference Paper